/ Amiga Plus 1995 #5 & #6 / Amiga Plus CD - 1995 - No. 5 and 6.iso / tex / macros / distribs / theorem / thp.doc

< prev

view JSON data

view as text

open on a Mac

open on a PC

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 5c 69 66 66 61 6c | 73 65 20 6d 65 74 61 2d |% \iffal|se meta-|
|00000010| 63 6f 6d 6d 65 6e 74 0a | 25 0a 25 20 43 6f 70 79 |comment.|%.% Copy|
|00000020| 72 69 67 68 74 20 28 43 | 29 20 31 39 38 39 2d 31 |right (C|) 1989-1|
|00000030| 39 39 32 20 62 79 20 46 | 72 61 6e 6b 20 4d 69 74 |992 by F|rank Mit|
|00000040| 74 65 6c 62 61 63 68 2e | 20 20 41 6c 6c 20 72 69 |telbach.|  All ri|
|00000050| 67 68 74 73 20 72 65 73 | 65 72 76 65 64 2e 0a 25 |ghts res|erved..%|
|00000060| 20 0a 25 20 54 68 69 73 | 20 66 69 6c 65 20 69 73 | .% This| file is|
|00000070| 20 70 61 72 74 20 6f 66 | 20 74 68 65 20 6d 75 6c | part of| the mul|
|00000080| 74 69 63 6f 6c 20 70 61 | 63 6b 61 67 65 2e 0a 25 |ticol pa|ckage..%|
|00000090| 20 0a 25 20 49 4d 50 4f | 52 54 41 4e 54 20 4e 4f | .% IMPO|RTANT NO|
|000000a0| 54 49 43 45 3a 0a 25 20 | 0a 25 20 59 6f 75 20 61 |TICE:.% |.% You a|
|000000b0| 72 65 20 6e 6f 74 20 61 | 6c 6c 6f 77 65 64 20 74 |re not a|llowed t|
|000000c0| 6f 20 63 68 61 6e 67 65 | 20 74 68 69 73 20 66 69 |o change| this fi|
|000000d0| 6c 65 2e 20 20 59 6f 75 | 20 6d 61 79 20 68 6f 77 |le.  You| may how|
|000000e0| 65 76 65 72 20 63 6f 70 | 79 20 74 68 69 73 0a 25 |ever cop|y this.%|
|000000f0| 20 66 69 6c 65 20 74 6f | 20 61 20 66 69 6c 65 20 | file to| a file |
|00000100| 77 69 74 68 20 61 20 64 | 69 66 66 65 72 65 6e 74 |with a d|ifferent|
|00000110| 20 6e 61 6d 65 20 61 6e | 64 20 74 68 65 6e 20 63 | name an|d then c|
|00000120| 68 61 6e 67 65 20 74 68 | 65 20 63 6f 70 79 20 69 |hange th|e copy i|
|00000130| 66 20 79 6f 75 0a 25 20 | 6f 62 65 79 20 74 68 65 |f you.% |obey the|
|00000140| 20 72 65 73 74 72 69 63 | 74 69 6f 6e 73 20 6f 6e | restric|tions on|
|00000150| 20 66 69 6c 65 20 63 68 | 61 6e 67 65 73 20 64 65 | file ch|anges de|
|00000160| 73 63 72 69 62 65 64 20 | 69 6e 20 72 65 61 64 6d |scribed |in readm|
|00000170| 65 2e 6d 7a 2e 0a 25 20 | 0a 25 20 59 6f 75 20 61 |e.mz..% |.% You a|
|00000180| 72 65 20 4e 4f 54 20 41 | 4c 4c 4f 57 45 44 20 74 |re NOT A|LLOWED t|
|00000190| 6f 20 64 69 73 74 72 69 | 62 75 74 65 20 74 68 69 |o distri|bute thi|
|000001a0| 73 20 66 69 6c 65 20 61 | 6c 6f 6e 65 2e 20 20 59 |s file a|lone.  Y|
|000001b0| 6f 75 20 61 72 65 20 4e | 4f 54 0a 25 20 41 4c 4c |ou are N|OT.% ALL|
|000001c0| 4f 57 45 44 20 74 6f 20 | 74 61 6b 65 20 6d 6f 6e |OWED to |take mon|
|000001d0| 65 79 20 66 6f 72 20 74 | 68 65 20 64 69 73 74 72 |ey for t|he distr|
|000001e0| 69 62 75 74 69 6f 6e 20 | 6f 72 20 75 73 65 20 6f |ibution |or use o|
|000001f0| 66 20 74 68 69 73 20 66 | 69 6c 65 20 28 6f 72 20 |f this f|ile (or |
|00000200| 61 0a 25 20 63 68 61 6e | 67 65 64 20 76 65 72 73 |a.% chan|ged vers|
|00000210| 69 6f 6e 29 20 65 78 63 | 65 70 74 20 66 6f 72 20 |ion) exc|ept for |
|00000220| 61 20 6e 6f 6d 69 6e 61 | 6c 20 63 68 61 72 67 65 |a nomina|l charge|
|00000230| 20 66 6f 72 20 63 6f 70 | 79 69 6e 67 20 65 74 63 | for cop|ying etc|
|00000240| 2e 0a 25 20 0a 25 20 59 | 6f 75 20 61 72 65 20 61 |..% .% Y|ou are a|
|00000250| 6c 6c 6f 77 65 64 20 74 | 6f 20 64 69 73 74 72 69 |llowed t|o distri|
|00000260| 62 75 74 65 20 74 68 69 | 73 20 66 69 6c 65 20 75 |bute thi|s file u|
|00000270| 6e 64 65 72 20 74 68 65 | 20 63 6f 6e 64 69 74 69 |nder the| conditi|
|00000280| 6f 6e 20 74 68 61 74 20 | 69 74 20 69 73 0a 25 20 |on that |it is.% |
|00000290| 64 69 73 74 72 69 62 75 | 74 65 64 20 74 6f 67 65 |distribu|ted toge|
|000002a0| 74 68 65 72 20 77 69 74 | 68 20 61 6c 6c 20 66 69 |ther wit|h all fi|
|000002b0| 6c 65 73 20 6d 65 6e 74 | 69 6f 6e 65 64 20 69 6e |les ment|ioned in|
|000002c0| 20 72 65 61 64 6d 65 2e | 6d 7a 32 2e 0a 25 20 0a | readme.|mz2..% .|
|000002d0| 25 20 49 66 20 79 6f 75 | 20 72 65 63 65 69 76 65 |% If you| receive|
|000002e0| 20 6f 6e 6c 79 20 73 6f | 6d 65 20 6f 66 20 74 68 | only so|me of th|
|000002f0| 65 73 65 20 66 69 6c 65 | 73 20 66 72 6f 6d 20 73 |ese file|s from s|
|00000300| 6f 6d 65 6f 6e 65 2c 20 | 63 6f 6d 70 6c 61 69 6e |omeone, |complain|
|00000310| 21 0a 25 20 0a 25 20 48 | 6f 77 65 76 65 72 2c 20 |!.% .% H|owever, |
|00000320| 69 66 20 74 68 65 73 65 | 20 66 69 6c 65 73 20 61 |if these| files a|
|00000330| 72 65 20 64 69 73 74 72 | 69 62 75 74 65 64 20 62 |re distr|ibuted b|
|00000340| 79 20 65 73 74 61 62 6c | 69 73 68 65 64 20 73 75 |y establ|ished su|
|00000350| 70 70 6c 69 65 72 73 20 | 61 73 0a 25 20 70 61 72 |ppliers |as.% par|
|00000360| 74 20 6f 66 20 61 20 63 | 6f 6d 70 6c 65 74 65 20 |t of a c|omplete |
|00000370| 54 65 58 20 64 69 73 74 | 72 69 62 75 74 69 6f 6e |TeX dist|ribution|
|00000380| 2c 20 61 6e 64 20 74 68 | 65 20 73 74 72 75 63 74 |, and th|e struct|
|00000390| 75 72 65 20 6f 66 20 74 | 68 65 0a 25 20 64 69 73 |ure of t|he.% dis|
|000003a0| 74 72 69 62 75 74 69 6f | 6e 20 77 6f 75 6c 64 20 |tributio|n would |
|000003b0| 6d 61 6b 65 20 69 74 20 | 64 69 66 66 69 63 75 6c |make it |difficul|
|000003c0| 74 20 74 6f 20 64 69 73 | 74 72 69 62 75 74 65 20 |t to dis|tribute |
|000003d0| 74 68 65 20 77 68 6f 6c | 65 20 73 65 74 20 6f 66 |the whol|e set of|
|000003e0| 0a 25 20 66 69 6c 65 73 | 2c 20 2a 74 68 6f 73 65 |.% files|, *those|
|000003f0| 20 70 61 72 74 69 65 73 | 2a 20 61 72 65 20 61 6c | parties|* are al|
|00000400| 6c 6f 77 65 64 20 74 6f | 20 64 69 73 74 72 69 62 |lowed to| distrib|
|00000410| 75 74 65 20 6f 6e 6c 79 | 20 73 6f 6d 65 20 6f 66 |ute only| some of|
|00000420| 20 74 68 65 0a 25 20 66 | 69 6c 65 73 20 70 72 6f | the.% f|iles pro|
|00000430| 76 69 64 65 64 20 74 68 | 61 74 20 69 74 20 69 73 |vided th|at it is|
|00000440| 20 6d 61 64 65 20 63 6c | 65 61 72 20 74 68 61 74 | made cl|ear that|
|00000450| 20 74 68 65 20 75 73 65 | 72 20 77 69 6c 6c 20 67 | the use|r will g|
|00000460| 65 74 20 61 20 63 6f 6d | 70 6c 65 74 65 0a 25 20 |et a com|plete.% |
|00000470| 64 69 73 74 72 69 62 75 | 74 69 6f 6e 2d 73 65 74 |distribu|tion-set|
|00000480| 20 75 70 6f 6e 20 72 65 | 71 75 65 73 74 20 74 6f | upon re|quest to|
|00000490| 20 74 68 61 74 20 73 75 | 70 70 6c 69 65 72 20 28 | that su|pplier (|
|000004a0| 6e 6f 74 20 6d 65 29 2e | 20 20 4e 6f 74 69 63 65 |not me).|  Notice|
|000004b0| 20 74 68 61 74 0a 25 20 | 74 68 69 73 20 70 65 72 | that.% |this per|
|000004c0| 6d 69 73 73 69 6f 6e 20 | 69 73 20 6e 6f 74 20 67 |mission |is not g|
|000004d0| 72 61 6e 74 65 64 20 74 | 6f 20 74 68 65 20 65 6e |ranted t|o the en|
|000004e0| 64 20 75 73 65 72 2e 0a | 25 20 0a 25 20 0a 25 20 |d user..|% .% .% |
|000004f0| 46 6f 72 20 65 72 72 6f | 72 20 72 65 70 6f 72 74 |For erro|r report|
|00000500| 73 20 69 6e 20 63 61 73 | 65 20 6f 66 20 55 4e 43 |s in cas|e of UNC|
|00000510| 48 41 4e 47 45 44 20 76 | 65 72 73 69 6f 6e 73 20 |HANGED v|ersions |
|00000520| 73 65 65 20 72 65 61 64 | 6d 65 2e 6d 7a 0a 25 20 |see read|me.mz.% |
|00000530| 0a 25 20 0a 25 20 5c 66 | 69 0a 0a 5c 64 65 66 5c |.% .% \f|i..\def\|
|00000540| 66 69 6c 65 76 65 72 73 | 69 6f 6e 7b 76 32 2e 31 |filevers|ion{v2.1|
|00000550| 62 7d 0a 5c 64 65 66 5c | 66 69 6c 65 64 61 74 65 |b}.\def\|filedate|
|00000560| 7b 38 39 2f 31 30 2f 32 | 38 7d 0a 5c 64 65 66 5c |{89/10/2|8}.\def\|
|00000570| 64 6f 63 64 61 74 65 20 | 7b 38 39 2f 30 39 2f 31 |docdate |{89/09/1|
|00000580| 39 7d 0a 0a 25 25 20 5c | 43 68 61 72 61 63 74 65 |9}..%% \|Characte|
|00000590| 72 54 61 62 6c 65 0a 25 | 25 20 20 7b 55 70 70 65 |rTable.%|%  {Uppe|
|000005a0| 72 2d 63 61 73 65 20 20 | 20 20 5c 41 5c 42 5c 43 |r-case  |  \A\B\C|
|000005b0| 5c 44 5c 45 5c 46 5c 47 | 5c 48 5c 49 5c 4a 5c 4b |\D\E\F\G|\H\I\J\K|
|000005c0| 5c 4c 5c 4d 5c 4e 5c 4f | 5c 50 5c 51 5c 52 5c 53 |\L\M\N\O|\P\Q\R\S|
|000005d0| 5c 54 5c 55 5c 56 5c 57 | 5c 58 5c 59 5c 5a 0a 25 |\T\U\V\W|\X\Y\Z.%|
|000005e0| 25 20 20 20 4c 6f 77 65 | 72 2d 63 61 73 65 20 20 |%   Lowe|r-case  |
|000005f0| 20 20 5c 61 5c 62 5c 63 | 5c 64 5c 65 5c 66 5c 67 |  \a\b\c|\d\e\f\g|
|00000600| 5c 68 5c 69 5c 6a 5c 6b | 5c 6c 5c 6d 5c 6e 5c 6f |\h\i\j\k|\l\m\n\o|
|00000610| 5c 70 5c 71 5c 72 5c 73 | 5c 74 5c 75 5c 76 5c 77 |\p\q\r\s|\t\u\v\w|
|00000620| 5c 78 5c 79 5c 7a 0a 25 | 25 20 20 20 44 69 67 69 |\x\y\z.%|%   Digi|
|00000630| 74 73 20 20 20 20 20 20 | 20 20 5c 30 5c 31 5c 32 |ts      |  \0\1\2|
|00000640| 5c 33 5c 34 5c 35 5c 36 | 5c 37 5c 38 5c 39 0a 25 |\3\4\5\6|\7\8\9.%|
|00000650| 25 20 20 20 45 78 63 6c | 61 6d 61 74 69 6f 6e 20 |%   Excl|amation |
|00000660| 20 20 5c 21 20 20 20 20 | 20 44 6f 75 62 6c 65 20 |  \!    | Double |
|00000670| 71 75 6f 74 65 20 20 5c | 22 20 20 20 20 20 48 61 |quote  \|"     Ha|
|00000680| 73 68 20 28 6e 75 6d 62 | 65 72 29 20 5c 23 0a 25 |sh (numb|er) \#.%|
|00000690| 25 20 20 20 44 6f 6c 6c | 61 72 20 20 20 20 20 20 |%   Doll|ar      |
|000006a0| 20 20 5c 24 20 20 20 20 | 20 50 65 72 63 65 6e 74 |  \$    | Percent|
|000006b0| 20 20 20 20 20 20 20 5c | 25 20 20 20 20 20 41 6d |       \|%     Am|
|000006c0| 70 65 72 73 61 6e 64 20 | 20 20 20 20 5c 26 0a 25 |persand |    \&.%|
|000006d0| 25 20 20 20 41 63 75 74 | 65 20 61 63 63 65 6e 74 |%   Acut|e accent|
|000006e0| 20 20 5c 27 20 20 20 20 | 20 4c 65 66 74 20 70 61 |  \'    | Left pa|
|000006f0| 72 65 6e 20 20 20 20 5c | 28 20 20 20 20 20 52 69 |ren    \|(     Ri|
|00000700| 67 68 74 20 70 61 72 65 | 6e 20 20 20 5c 29 0a 25 |ght pare|n   \).%|
|00000710| 25 20 20 20 41 73 74 65 | 72 69 73 6b 20 20 20 20 |%   Aste|risk    |
|00000720| 20 20 5c 2a 20 20 20 20 | 20 50 6c 75 73 20 20 20 |  \*    | Plus   |
|00000730| 20 20 20 20 20 20 20 5c | 2b 20 20 20 20 20 43 6f |       \|+     Co|
|00000740| 6d 6d 61 20 20 20 20 20 | 20 20 20 20 5c 2c 0a 25 |mma     |    \,.%|
|00000750| 25 20 20 20 4d 69 6e 75 | 73 20 20 20 20 20 20 20 |%   Minu|s       |
|00000760| 20 20 5c 2d 20 20 20 20 | 20 50 6f 69 6e 74 20 20 |  \-    | Point  |
|00000770| 20 20 20 20 20 20 20 5c | 2e 20 20 20 20 20 53 6f |       \|.     So|
|00000780| 6c 69 64 75 73 20 20 20 | 20 20 20 20 5c 2f 0a 25 |lidus   |    \/.%|
|00000790| 25 20 20 20 43 6f 6c 6f | 6e 20 20 20 20 20 20 20 |%   Colo|n       |
|000007a0| 20 20 5c 3a 20 20 20 20 | 20 53 65 6d 69 63 6f 6c |  \:    | Semicol|
|000007b0| 6f 6e 20 20 20 20 20 5c | 3b 20 20 20 20 20 4c 65 |on     \|;     Le|
|000007c0| 73 73 20 74 68 61 6e 20 | 20 20 20 20 5c 3c 0a 25 |ss than |    \<.%|
|000007d0| 25 20 20 20 45 71 75 61 | 6c 73 20 20 20 20 20 20 |%   Equa|ls      |
|000007e0| 20 20 5c 3d 20 20 20 20 | 20 47 72 65 61 74 65 72 |  \=    | Greater|
|000007f0| 20 74 68 61 6e 20 20 5c | 3e 20 20 20 20 20 51 75 | than  \|>     Qu|
|00000800| 65 73 74 69 6f 6e 20 6d | 61 72 6b 20 5c 3f 0a 25 |estion m|ark \?.%|
|00000810| 25 20 20 20 43 6f 6d 6d | 65 72 63 69 61 6c 20 61 |%   Comm|ercial a|
|00000820| 74 20 5c 40 20 20 20 20 | 20 4c 65 66 74 20 62 72 |t \@    | Left br|
|00000830| 61 63 6b 65 74 20 20 5c | 5b 20 20 20 20 20 42 61 |acket  \|[     Ba|
|00000840| 63 6b 73 6c 61 73 68 20 | 20 20 20 20 5c 5c 0a 25 |ckslash |    \\.%|
|00000850| 25 20 20 20 52 69 67 68 | 74 20 62 72 61 63 6b 65 |%   Righ|t bracke|
|00000860| 74 20 5c 5d 20 20 20 20 | 20 43 69 72 63 75 6d 66 |t \]    | Circumf|
|00000870| 6c 65 78 20 20 20 20 5c | 5e 20 20 20 20 20 55 6e |lex    \|^     Un|
|00000880| 64 65 72 73 63 6f 72 65 | 20 20 20 20 5c 5f 0a 25 |derscore|    \_.%|
|00000890| 25 20 20 20 47 72 61 76 | 65 20 61 63 63 65 6e 74 |%   Grav|e accent|
|000008a0| 20 20 5c 60 20 20 20 20 | 20 4c 65 66 74 20 62 72 |  \`    | Left br|
|000008b0| 61 63 65 20 20 20 20 5c | 7b 20 20 20 20 20 56 65 |ace    \|{     Ve|
|000008c0| 72 74 69 63 61 6c 20 62 | 61 72 20 20 5c 7c 0a 25 |rtical b|ar  \|.%|
|000008d0| 25 20 20 20 52 69 67 68 | 74 20 62 72 61 63 65 20 |%   Righ|t brace |
|000008e0| 20 20 5c 7d 20 20 20 20 | 20 54 69 6c 64 65 20 20 |  \}    | Tilde  |
|000008f0| 20 20 20 20 20 20 20 5c | 7e 7d 0a 25 25 0a 25 20 |       \|~}.%%.% |
|00000900| 5c 69 66 66 61 6c 73 65 | 0a 25 0a 25 20 53 75 62 |\iffalse|.%.% Sub|
|00000910| 73 74 79 6c 65 20 6f 70 | 74 69 6f 6e 20 60 74 68 |style op|tion `th|
|00000920| 65 6f 72 65 6d 2d 70 6c | 61 69 6e 27 20 66 6f 72 |eorem-pl|ain' for|
|00000930| 0a 25 20 73 74 79 6c 65 | 20 6f 70 74 69 6f 6e 20 |.% style| option |
|00000940| 60 74 68 65 6f 72 65 6d | 27 20 76 2e 32 2e 2e 2e |`theorem|' v.2...|
|00000950| 20 74 6f 20 75 73 65 20 | 77 69 74 68 20 4c 61 54 | to use |with LaT|
|00000960| 65 58 20 76 32 2e 30 39 | 0a 25 20 43 6f 70 79 72 |eX v2.09|.% Copyr|
|00000970| 69 67 68 74 20 28 43 29 | 20 31 39 38 39 2d 31 39 |ight (C)| 1989-19|
|00000980| 39 32 20 46 72 61 6e 6b | 20 4d 69 74 74 65 6c 62 |92 Frank| Mittelb|
|00000990| 61 63 68 2c 20 61 6c 6c | 20 72 69 67 68 74 73 20 |ach, all| rights |
|000009a0| 72 65 73 65 72 76 65 64 | 2e 0a 25 0a 25 0a 25 20 |reserved|..%.%.% |
|000009b0| 45 72 72 6f 72 20 72 65 | 70 6f 72 74 73 20 66 6f |Error re|ports fo|
|000009c0| 72 20 55 4e 43 48 41 4e | 47 45 44 20 76 65 72 73 |r UNCHAN|GED vers|
|000009d0| 69 6f 6e 73 20 73 65 65 | 20 72 65 61 64 6d 65 0a |ions see| readme.|
|000009e0| 25 0a 25 20 5c 66 69 0a | 25 20 5c 63 68 61 6e 67 |%.% \fi.|% \chang|
|000009f0| 65 73 7b 76 31 2e 31 62 | 7d 7b 38 37 2f 31 30 2f |es{v1.1b|}{87/10/|
|00000a00| 30 38 7d 7b 50 6f 69 6e | 74 20 61 66 74 65 72 20 |08}{Poin|t after |
|00000a10| 74 68 65 6f 72 65 6d 20 | 6e 75 6d 62 65 72 20 72 |theorem |number r|
|00000a20| 65 6d 6f 76 65 64 2e 7d | 0a 25 0a 25 20 5c 63 68 |emoved.}|.%.% \ch|
|00000a30| 61 6e 67 65 73 7b 76 31 | 2e 32 61 7d 7b 38 38 2f |anges{v1|.2a}{88/|
|00000a40| 30 31 2f 30 38 7d 7b 44 | 65 66 69 6e 69 74 69 6f |01/08}{D|efinitio|
|00000a50| 6e 20 6f 66 20 60 40 65 | 6e 64 74 68 65 6f 72 65 |n of `@e|ndtheore|
|00000a60| 6d 27 20 72 65 6d 6f 76 | 65 64 2e 0a 25 20 20 20 |m' remov|ed..%   |
|00000a70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000a80| 20 20 20 20 20 20 20 20 | 20 53 65 65 20 74 68 65 |        | See the|
|00000a90| 6f 72 65 6d 2e 73 74 79 | 7d 0a 25 20 5c 63 68 61 |orem.sty|}.% \cha|
|00000aa0| 6e 67 65 73 7b 76 32 2e | 30 61 7d 7b 38 38 2f 31 |nges{v2.|0a}{88/1|
|00000ab0| 31 2f 32 35 7d 7b 4e 65 | 77 20 69 6d 70 6c 65 6d |1/25}{Ne|w implem|
|00000ac0| 65 6e 74 61 74 69 6f 6e | 20 74 6f 20 72 65 66 6c |entation| to refl|
|00000ad0| 65 63 74 20 63 68 61 6e | 67 65 73 0a 25 20 20 20 |ect chan|ges.%   |
|00000ae0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000af0| 20 20 20 20 20 20 20 20 | 20 69 6e 20 74 68 65 6f |        | in theo|
|00000b00| 72 65 6d 2e 73 74 79 20 | 76 32 2e 30 61 7d 0a 25 |rem.sty |v2.0a}.%|
|00000b10| 20 5c 63 68 61 6e 67 65 | 73 7b 76 32 2e 30 62 7d | \change|s{v2.0b}|
|00000b20| 7b 38 39 2f 30 31 2f 33 | 30 7d 7b 55 6e 6b 6f 77 |{89/01/3|0}{Unkow|
|00000b30| 6e 20 63 68 61 6e 67 65 | 2e 7d 0a 25 20 5c 63 68 |n change|.}.% \ch|
|00000b40| 61 6e 67 65 73 7b 76 32 | 2e 30 63 7d 7b 38 39 2f |anges{v2|.0c}{89/|
|00000b50| 30 37 2f 31 39 7d 7b 53 | 70 61 63 65 73 20 69 6e |07/19}{S|paces in|
|00000b60| 20 60 74 79 70 65 6f 75 | 74 27 20 61 64 64 65 64 | `typeou|t' added|
|00000b70| 2e 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 76 32 |.}.% \ch|anges{v2|
|00000b80| 2e 31 61 7d 7b 38 39 2f | 30 39 2f 31 38 7d 7b 60 |.1a}{89/|09/18}{`|
|00000b90| 74 68 65 6f 72 65 6d 40 | 68 65 61 64 65 72 66 6f |theorem@|headerfo|
|00000ba0| 6e 74 20 69 6e 74 72 6f | 64 75 63 65 64 2e 7d 0a |nt intro|duced.}.|
|00000bb0| 25 20 5c 63 68 61 6e 67 | 65 73 7b 76 32 2e 31 62 |% \chang|es{v2.1b|
|00000bc0| 7d 7b 38 39 2f 31 30 2f | 32 38 7d 7b 60 74 79 70 |}{89/10/|28}{`typ|
|00000bd0| 65 6f 75 74 20 6d 6f 76 | 65 64 20 61 66 74 65 72 |eout mov|ed after|
|00000be0| 20 60 6d 61 6b 65 61 74 | 6c 65 74 74 65 72 2e 7d | `makeat|letter.}|
|00000bf0| 0a 25 0a 25 0a 25 20 5c | 6c 61 62 65 6c 7b 64 6f |.%.%.% \|label{do|
|00000c00| 6b 3a 74 68 40 70 6c 61 | 69 6e 7d 20 41 73 20 74 |k:th@pla|in} As t|
|00000c10| 68 65 20 66 6f 6c 6c 6f | 77 69 6e 67 20 6d 61 63 |he follo|wing mac|
|00000c20| 72 6f 73 20 75 73 65 20 | 5c 76 65 72 62 2b 40 2b |ros use |\verb+@+|
|00000c30| 2c 20 77 65 20 68 61 76 | 65 0a 25 20 74 6f 20 6c |, we hav|e.% to l|
|00000c40| 6f 63 61 6c 6c 79 20 73 | 65 74 20 74 68 65 20 5c |ocally s|et the \|
|00000c50| 76 65 72 62 2b 5c 63 61 | 74 63 6f 64 65 2b 20 6f |verb+\ca|tcode+ o|
|00000c60| 66 20 74 68 69 73 20 73 | 79 6d 62 6f 6c 20 74 6f |f this s|ymbol to|
|00000c70| 20 60 60 6c 65 74 74 65 | 72 27 27 2e 0a 25 20 54 | ``lette|r''..% T|
|00000c80| 68 69 73 20 68 61 70 70 | 65 6e 73 20 77 69 74 68 |his happ|ens with|
|00000c90| 69 6e 20 61 20 67 72 6f | 75 70 2c 20 73 6f 20 74 |in a gro|up, so t|
|00000ca0| 68 61 74 20 77 65 20 64 | 6f 20 6e 6f 74 20 68 61 |hat we d|o not ha|
|00000cb0| 76 65 20 74 6f 20 77 6f | 72 72 79 20 61 62 6f 75 |ve to wo|rry abou|
|00000cc0| 74 0a 25 20 77 68 69 63 | 68 20 5c 76 65 72 62 2b |t.% whic|h \verb+|
|00000cd0| 5c 63 61 74 63 6f 64 65 | 2b 20 74 68 61 74 20 73 |\catcode|+ that s|
|00000ce0| 79 6d 62 6f 6c 20 68 61 | 64 20 62 65 66 6f 72 65 |ymbol ha|d before|
|00000cf0| 2e 0a 25 20 20 20 20 5c | 62 65 67 69 6e 7b 6d 61 |..%    \|begin{ma|
|00000d00| 63 72 6f 63 6f 64 65 7d | 0a 5c 62 65 67 69 6e 67 |crocode}|.\beging|
|00000d10| 72 6f 75 70 20 5c 6d 61 | 6b 65 61 74 6c 65 74 74 |roup \ma|keatlett|
|00000d20| 65 72 0a 25 20 20 20 20 | 5c 65 6e 64 7b 6d 61 63 |er.%    |\end{mac|
|00000d30| 72 6f 63 6f 64 65 7d 0a | 25 20 53 69 6e 63 65 20 |rocode}.|% Since |
|00000d40| 77 65 20 61 72 65 20 6e | 6f 77 20 77 69 74 68 69 |we are n|ow withi|
|00000d50| 6e 20 61 20 67 72 6f 75 | 70 2c 20 77 65 20 6d 75 |n a grou|p, we mu|
|00000d60| 73 74 20 6d 61 6b 65 20 | 61 6c 6c 20 64 65 66 69 |st make |all defi|
|00000d70| 6e 69 74 69 6f 6e 73 0a | 25 20 67 6c 6f 62 61 6c |nitions.|% global|
|00000d80| 6c 79 2e 20 20 46 69 72 | 73 74 20 77 65 20 6d 61 |ly.  Fir|st we ma|
|00000d90| 6b 65 20 73 75 72 65 20 | 74 68 61 74 20 7b 5c 74 |ke sure |that {\t|
|00000da0| 74 20 74 68 65 6f 72 65 | 6d 2e 73 74 79 7d 20 69 |t theore|m.sty} i|
|00000db0| 73 20 6c 6f 61 64 65 64 | 2e 0a 25 20 54 68 69 73 |s loaded|..% This|
|00000dc0| 20 77 69 6c 6c 20 61 6c | 6c 6f 77 20 75 73 20 74 | will al|low us t|
|00000dd0| 6f 20 75 73 65 20 74 68 | 69 73 20 66 69 6c 65 20 |o use th|is file |
|00000de0| 61 73 20 61 20 64 6f 63 | 75 6d 65 6e 74 20 73 74 |as a doc|ument st|
|00000df0| 79 6c 65 20 6f 70 74 69 | 6f 6e 0a 25 20 77 69 74 |yle opti|on.% wit|
|00000e00| 68 6f 75 74 20 68 61 76 | 69 6e 67 20 74 6f 20 63 |hout hav|ing to c|
|00000e10| 61 6c 6c 20 7b 5c 74 74 | 20 74 68 65 6f 72 65 6d |all {\tt| theorem|
|00000e20| 7d 20 69 74 73 65 6c 66 | 20 61 73 20 61 6e 20 6f |} itself| as an o|
|00000e30| 70 74 69 6f 6e 2e 20 20 | 41 74 20 74 68 65 0a 25 |ption.  |At the.%|
|00000e40| 20 73 61 6d 65 20 74 69 | 6d 65 2c 20 77 65 20 61 | same ti|me, we a|
|00000e50| 73 73 75 72 65 20 74 68 | 61 74 20 61 74 20 6c 65 |ssure th|at at le|
|00000e60| 61 73 74 20 76 65 72 73 | 69 6f 6e 20 32 20 69 73 |ast vers|ion 2 is|
|00000e70| 20 6c 6f 61 64 65 64 2c | 20 73 69 6e 63 65 0a 25 | loaded,| since.%|
|00000e80| 20 5c 76 65 72 62 2b 5c | 74 68 65 6f 72 65 6d 40 | \verb+\|theorem@|
|00000e90| 73 74 79 6c 65 2b 20 77 | 61 73 20 6e 6f 74 20 64 |style+ w|as not d|
|00000ea0| 65 66 69 6e 65 64 20 69 | 6e 20 65 61 72 6c 69 65 |efined i|n earlie|
|00000eb0| 72 20 76 65 72 73 69 6f | 6e 73 2e 0a 25 20 20 20 |r versio|ns..%   |
|00000ec0| 20 5c 62 65 67 69 6e 7b | 6d 61 63 72 6f 63 6f 64 | \begin{|macrocod|
|00000ed0| 65 7d 0a 5c 40 69 66 75 | 6e 64 65 66 69 6e 65 64 |e}.\@ifu|ndefined|
|00000ee0| 7b 74 68 65 6f 72 65 6d | 40 73 74 79 6c 65 7d 7b |{theorem|@style}{|
|00000ef0| 5c 69 6e 70 75 74 7b 74 | 68 65 6f 72 65 6d 2e 73 |\input{t|heorem.s|
|00000f00| 74 79 7d 7d 7b 7d 0a 25 | 20 20 20 20 5c 65 6e 64 |ty}}{}.%|    \end|
|00000f10| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 25 20 54 68 |{macroco|de}.% Th|
|00000f20| 69 73 20 73 74 79 6c 65 | 20 6f 70 74 69 6f 6e 20 |is style| option |
|00000f30| 69 73 20 73 74 6f 72 65 | 64 20 69 6e 20 74 68 65 |is store|d in the|
|00000f40| 20 66 69 6c 65 20 5c 76 | 65 72 62 2b 74 68 70 2e | file \v|erb+thp.|
|00000f50| 73 74 79 2b 2e 20 20 46 | 69 72 73 74 2c 20 77 65 |sty+.  F|irst, we|
|00000f60| 0a 25 20 73 68 6f 77 20 | 74 68 65 20 76 65 72 73 |.% show |the vers|
|00000f70| 69 6f 6e 5c 66 6f 6f 74 | 6e 6f 74 65 7b 54 68 69 |ion\foot|note{Thi|
|00000f80| 73 20 66 69 6c 65 20 68 | 61 73 20 76 65 72 73 69 |s file h|as versi|
|00000f90| 6f 6e 20 6e 75 6d 62 65 | 72 0a 25 20 5c 66 69 6c |on numbe|r.% \fil|
|00000fa0| 65 76 65 72 73 69 6f 6e | 2c 20 6c 61 73 74 20 72 |eversion|, last r|
|00000fb0| 65 76 69 73 65 64 20 5c | 66 69 6c 65 64 61 74 65 |evised \|filedate|
|00000fc0| 2c 20 64 6f 63 75 6d 65 | 6e 74 61 74 69 6f 6e 20 |, docume|ntation |
|00000fd0| 64 61 74 65 64 20 5c 64 | 6f 63 64 61 74 65 2e 7d |dated \d|ocdate.}|
|00000fe0| 0a 25 20 6f 66 20 74 68 | 69 73 20 66 69 6c 65 3a |.% of th|is file:|
|00000ff0| 0a 25 20 20 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |.%    \b|egin{mac|
|00001000| 72 6f 63 6f 64 65 7d 0a | 5c 74 79 70 65 6f 75 74 |rocode}.|\typeout|
|00001010| 7b 53 74 79 6c 65 20 6f | 70 74 69 6f 6e 3a 20 60 |{Style o|ption: `|
|00001020| 74 68 65 6f 72 65 6d 2d | 70 6c 61 69 6e 27 20 5c |theorem-|plain' \|
|00001030| 66 69 6c 65 76 65 72 73 | 69 6f 6e 20 5c 73 70 61 |filevers|ion \spa|
|00001040| 63 65 5c 73 70 61 63 65 | 0a 20 20 20 20 20 20 20 |ce\space|.       |
|00001050| 20 20 3c 5c 66 69 6c 65 | 64 61 74 65 3e 20 20 28 |  <\file|date>  (|
|00001060| 46 4d 69 29 7d 0a 5c 74 | 79 70 65 6f 75 74 7b 45 |FMi)}.\t|ypeout{E|
|00001070| 6e 67 6c 69 73 68 20 64 | 6f 63 75 6d 65 6e 74 61 |nglish d|ocumenta|
|00001080| 74 69 6f 6e 20 5c 40 73 | 70 61 63 65 73 5c 40 73 |tion \@s|paces\@s|
|00001090| 70 61 63 65 73 5c 40 73 | 70 61 63 65 73 5c 73 70 |paces\@s|paces\sp|
|000010a0| 61 63 65 5c 73 70 61 63 | 65 0a 20 20 20 20 20 20 |ace\spac|e.      |
|000010b0| 20 20 20 5c 73 70 61 63 | 65 20 3c 5c 64 6f 63 64 |   \spac|e <\docd|
|000010c0| 61 74 65 3e 20 20 28 46 | 4d 69 29 7d 0a 25 20 20 |ate>  (F|Mi)}.%  |
|000010d0| 20 20 5c 65 6e 64 7b 6d | 61 63 72 6f 63 6f 64 65 |  \end{m|acrocode|
|000010e0| 7d 0a 25 0a 25 0a 25 20 | 5c 62 65 67 69 6e 7b 6d |}.%.%.% |\begin{m|
|000010f0| 61 63 72 6f 7d 7b 5c 74 | 68 40 70 6c 61 69 6e 7d |acro}{\t|h@plain}|
|00001100| 0a 25 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 7d |.% \begi|n{macro}|
|00001110| 7b 5c 40 62 65 67 69 6e | 74 68 65 6f 72 65 6d 7d |{\@begin|theorem}|
|00001120| 0a 25 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 7d |.% \begi|n{macro}|
|00001130| 7b 5c 40 6f 70 61 72 67 | 62 65 67 69 6e 74 68 65 |{\@oparg|beginthe|
|00001140| 6f 72 65 6d 7d 0a 25 20 | 20 20 20 5c 76 65 72 62 |orem}.% |   \verb|
|00001150| 2b 5c 74 68 65 6f 72 65 | 6d 73 74 79 6c 65 7b 70 |+\theore|mstyle{p|
|00001160| 6c 61 69 6e 7d 2b 20 63 | 6f 72 72 65 73 70 6f 6e |lain}+ c|orrespon|
|00001170| 64 73 20 74 6f 20 74 68 | 65 20 6f 72 69 67 69 6e |ds to th|e origin|
|00001180| 61 6c 0a 25 20 20 20 20 | 64 65 66 69 6e 69 74 69 |al.%    |definiti|
|00001190| 6f 6e 2c 20 65 78 63 65 | 70 74 20 74 68 61 74 20 |on, exce|pt that |
|000011a0| 74 68 65 20 64 69 73 74 | 61 6e 63 65 73 20 74 6f |the dist|ances to|
|000011b0| 20 74 68 65 20 73 75 72 | 72 6f 75 6e 64 69 6e 67 | the sur|rounding|
|000011c0| 20 74 65 78 74 20 61 72 | 65 0a 25 20 20 20 20 64 | text ar|e.%    d|
|000011d0| 65 74 65 72 6d 69 6e 65 | 64 20 62 79 20 74 68 65 |etermine|d by the|
|000011e0| 20 70 61 72 61 6d 65 74 | 65 72 73 20 5c 76 65 72 | paramet|ers \ver|
|000011f0| 62 2b 5c 74 68 65 6f 72 | 65 6d 70 72 65 73 6b 69 |b+\theor|empreski|
|00001200| 70 61 6d 6f 75 6e 74 2b | 20 61 6e 64 0a 25 20 20 |pamount+| and.%  |
|00001210| 20 20 5c 76 65 72 62 2b | 5c 74 68 65 6f 72 65 6d |  \verb+|\theorem|
|00001220| 70 6f 73 74 73 6b 69 70 | 61 6d 6f 75 6e 74 2b 2e |postskip|amount+.|
|00001230| 0a 25 20 20 20 20 46 69 | 72 73 74 20 77 65 20 73 |.%    Fi|rst we s|
|00001240| 65 74 20 74 68 65 20 64 | 65 66 61 75 6c 74 20 62 |et the d|efault b|
|00001250| 6f 64 79 20 66 6f 6e 74 | 2e 0a 25 20 20 20 20 5c |ody font|..%    \|
|00001260| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|00001270| 0a 5c 67 64 65 66 5c 74 | 68 40 70 6c 61 69 6e 7b |.\gdef\t|h@plain{|
|00001280| 5c 69 74 0a 25 20 20 20 | 20 5c 65 6e 64 7b 6d 61 |\it.%   | \end{ma|
|00001290| 63 72 6f 63 6f 64 65 7d | 0a 25 20 20 20 20 54 68 |crocode}|.%    Th|
|000012a0| 65 6e 20 77 65 20 64 65 | 66 69 6e 65 20 5c 76 65 |en we de|fine \ve|
|000012b0| 72 62 2b 5c 40 62 65 67 | 69 6e 74 68 65 6f 72 65 |rb+\@beg|intheore|
|000012c0| 6d 2b 20 61 6e 64 0a 25 | 20 20 20 20 5c 76 65 72 |m+ and.%|    \ver|
|000012d0| 62 2b 5c 40 6f 70 61 72 | 67 62 65 67 69 6e 74 68 |b+\@opar|gbeginth|
|000012e0| 65 6f 72 65 6d 2b 2e 20 | 54 68 65 73 65 20 74 77 |eorem+. |These tw|
|000012f0| 6f 20 6d 61 63 72 6f 73 | 20 64 65 66 69 6e 65 20 |o macros| define |
|00001300| 68 6f 77 20 74 68 65 0a | 25 20 20 20 20 68 65 61 |how the.|%    hea|
|00001310| 64 65 72 20 6f 66 20 61 | 20 74 68 65 6f 72 65 6d |der of a| theorem|
|00001320| 20 69 73 20 74 79 70 65 | 73 65 74 2e 20 20 5c 76 | is type|set.  \v|
|00001330| 65 72 62 2b 5c 40 6f 70 | 61 72 67 62 65 67 69 6e |erb+\@op|argbegin|
|00001340| 74 68 65 6f 72 65 6d 2b | 20 77 69 6c 6c 0a 25 20 |theorem+| will.% |
|00001350| 20 20 20 62 65 20 63 61 | 6c 6c 65 64 20 69 66 20 |   be ca|lled if |
|00001360| 61 20 7b 5c 73 66 20 74 | 68 65 6f 72 65 6d 7d 20 |a {\sf t|heorem} |
|00001370| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 77 69 74 68 |environm|ent with|
|00001380| 20 61 6e 20 6f 70 74 69 | 6f 6e 61 6c 0a 25 20 20 | an opti|onal.%  |
|00001390| 20 20 61 72 67 75 6d 65 | 6e 74 20 69 73 20 65 6e |  argume|nt is en|
|000013a0| 63 6f 75 6e 74 65 72 65 | 64 3b 20 6f 74 68 65 72 |countere|d; other|
|000013b0| 77 69 73 65 2c 20 74 68 | 65 20 68 65 61 64 65 72 |wise, th|e header|
|000013c0| 20 69 73 20 63 6f 6e 73 | 74 72 75 63 74 65 64 20 | is cons|tructed |
|000013d0| 62 79 0a 25 20 20 20 20 | 63 61 6c 6c 69 6e 67 20 |by.%    |calling |
|000013e0| 5c 76 65 72 62 2b 5c 40 | 62 65 67 69 6e 74 68 65 |\verb+\@|beginthe|
|000013f0| 6f 72 65 6d 2b 2e 20 20 | 49 66 20 6f 6e 65 20 6f |orem+.  |If one o|
|00001400| 66 20 74 68 65 73 65 20 | 6d 61 63 72 6f 73 20 69 |f these |macros i|
|00001410| 73 0a 25 20 20 20 20 65 | 78 65 63 75 74 65 64 2c |s.%    e|xecuted,|
|00001420| 20 77 65 20 61 72 65 20 | 77 69 74 68 69 6e 20 61 | we are |within a|
|00001430| 20 7b 5c 73 66 20 74 72 | 69 76 6c 69 73 74 7d 20 | {\sf tr|ivlist} |
|00001440| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 73 74 61 72 |environm|ent star|
|00001450| 74 65 64 20 62 79 0a 25 | 20 20 20 20 5c 76 65 72 |ted by.%|    \ver|
|00001460| 62 2b 5c 40 74 68 6d 2b | 2e 20 20 53 6f 20 74 68 |b+\@thm+|.  So th|
|00001470| 65 20 74 68 65 6f 72 65 | 6d 20 68 65 61 64 65 72 |e theore|m header|
|00001480| 20 69 73 20 70 72 6f 64 | 75 63 65 64 20 77 69 74 | is prod|uced wit|
|00001490| 68 20 61 6e 0a 25 20 20 | 20 20 5c 76 65 72 62 2b |h an.%  |  \verb+|
|000014a0| 5c 69 74 65 6d 2b 20 63 | 6f 6d 6d 61 6e 64 2e 0a |\item+ c|ommand..|
|000014b0| 25 0a 25 20 20 20 20 49 | 6e 73 74 65 61 64 20 6f |%.%    I|nstead o|
|000014c0| 66 20 73 70 65 63 69 66 | 79 69 6e 67 20 74 68 65 |f specif|ying the|
|000014d0| 20 68 65 61 64 65 72 20 | 66 6f 6e 74 20 64 69 72 | header |font dir|
|000014e0| 65 63 74 6c 79 2c 20 61 | 6c 6c 20 73 74 61 6e 64 |ectly, a|ll stand|
|000014f0| 61 72 64 0a 25 20 20 20 | 20 74 68 65 6f 72 65 6d |ard.%   | theorem|
|00001500| 20 73 74 79 6c 65 73 20 | 75 73 65 20 74 68 65 20 | styles |use the |
|00001510| 5c 76 65 72 62 2b 5c 74 | 68 65 6f 72 65 6d 40 68 |\verb+\t|heorem@h|
|00001520| 65 61 64 65 72 66 6f 6e | 74 2b 20 6d 61 63 72 6f |eaderfon|t+ macro|
|00001530| 20 74 6f 20 61 6c 6c 6f | 77 0a 25 20 20 20 20 63 | to allo|w.%    c|
|00001540| 75 73 74 6f 6d 69 7a 61 | 74 69 6f 6e 2e 20 20 54 |ustomiza|tion.  T|
|00001550| 68 65 20 65 78 74 72 61 | 20 73 70 61 63 65 20 28 |he extra| space (|
|00001560| 5c 76 65 72 62 2b 5c 6c | 61 62 65 6c 73 65 70 2b |\verb+\l|abelsep+|
|00001570| 29 20 69 73 20 6e 65 63 | 65 73 73 61 72 79 0a 25 |) is nec|essary.%|
|00001580| 20 20 20 20 62 65 63 61 | 75 73 65 20 6f 66 20 70 |    beca|use of p|
|00001590| 72 6f 62 6c 65 6d 73 20 | 69 6e 20 74 68 65 20 7b |roblems |in the {|
|000015a0| 5c 73 66 20 74 72 69 76 | 6c 69 73 74 7d 20 65 6e |\sf triv|list} en|
|000015b0| 76 69 72 6f 6e 6d 65 6e | 74 2e 0a 25 20 20 20 20 |vironmen|t..%    |
|000015c0| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|000015d0| 7d 0a 20 20 5c 64 65 66 | 5c 40 62 65 67 69 6e 74 |}.  \def|\@begint|
|000015e0| 68 65 6f 72 65 6d 23 23 | 31 23 23 32 7b 25 0a 20 |heorem##|1##2{%. |
|000015f0| 20 20 20 20 20 20 20 5c | 69 74 65 6d 5b 5c 68 73 |       \|item[\hs|
|00001600| 6b 69 70 5c 6c 61 62 65 | 6c 73 65 70 20 5c 74 68 |kip\labe|lsep \th|
|00001610| 65 6f 72 65 6d 40 68 65 | 61 64 65 72 66 6f 6e 74 |eorem@he|aderfont|
|00001620| 20 23 23 31 5c 20 23 23 | 32 5d 7d 25 0a 25 20 20 | ##1\ ##|2]}%.%  |
|00001630| 20 20 5c 65 6e 64 7b 6d | 61 63 72 6f 63 6f 64 65 |  \end{m|acrocode|
|00001640| 7d 0a 25 20 20 20 20 54 | 68 65 20 64 65 66 69 6e |}.%    T|he defin|
|00001650| 69 74 69 6f 6e 20 6f 66 | 20 5c 76 65 72 62 2b 5c |ition of| \verb+\|
|00001660| 40 6f 70 61 72 67 62 65 | 67 69 6e 74 68 65 6f 72 |@opargbe|gintheor|
|00001670| 65 6d 2b 20 69 73 20 63 | 6f 6d 70 6c 65 74 65 6c |em+ is c|ompletel|
|00001680| 79 0a 25 20 20 20 20 61 | 6e 61 6c 6f 67 6f 75 73 |y.%    a|nalogous|
|00001690| 2e 20 54 68 65 20 6f 6e | 6c 79 20 64 69 66 66 65 |. The on|ly diffe|
|000016a0| 72 65 6e 63 65 20 69 73 | 20 74 68 65 20 66 61 63 |rence is| the fac|
|000016b0| 74 20 74 68 61 74 20 74 | 68 65 72 65 20 65 78 69 |t that t|here exi|
|000016c0| 73 74 73 20 61 0a 25 20 | 20 20 20 74 68 69 72 64 |sts a.% |   third|
|000016d0| 20 61 72 67 75 6d 65 6e | 74 20 28 77 68 69 63 68 | argumen|t (which|
|000016e0| 20 69 73 20 74 68 65 20 | 6f 70 74 69 6f 6e 61 6c | is the |optional|
|000016f0| 20 70 61 72 61 6d 65 74 | 65 72 20 6f 66 20 74 68 | paramet|er of th|
|00001700| 65 0a 25 20 20 20 20 65 | 6e 76 69 72 6f 6e 6d 65 |e.%    e|nvironme|
|00001710| 6e 74 20 61 6e 64 20 63 | 6f 6e 74 61 69 6e 73 20 |nt and c|ontains |
|00001720| 61 64 64 69 74 69 6f 6e | 61 6c 20 69 6e 66 6f 72 |addition|al infor|
|00001730| 6d 61 74 69 6f 6e 20 61 | 62 6f 75 74 20 74 68 65 |mation a|bout the|
|00001740| 0a 25 20 20 20 20 74 68 | 65 6f 72 65 6d 29 2e 20 |.%    th|eorem). |
|00001750| 20 43 75 73 74 6f 6d 61 | 72 69 6c 79 20 77 65 20 | Customa|rily we |
|00001760| 65 6e 63 6c 6f 73 65 20 | 69 74 20 69 6e 20 70 61 |enclose |it in pa|
|00001770| 72 65 6e 74 68 65 73 65 | 73 2e 0a 25 20 20 20 20 |renthese|s..%    |
|00001780| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00001790| 7d 0a 5c 64 65 66 5c 40 | 6f 70 61 72 67 62 65 67 |}.\def\@|opargbeg|
|000017a0| 69 6e 74 68 65 6f 72 65 | 6d 23 23 31 23 23 32 23 |intheore|m##1##2#|
|000017b0| 23 33 7b 25 0a 20 20 20 | 5c 69 74 65 6d 5b 5c 68 |#3{%.   |\item[\h|
|000017c0| 73 6b 69 70 5c 6c 61 62 | 65 6c 73 65 70 20 5c 74 |skip\lab|elsep \t|
|000017d0| 68 65 6f 72 65 6d 40 68 | 65 61 64 65 72 66 6f 6e |heorem@h|eaderfon|
|000017e0| 74 20 23 23 31 5c 20 23 | 23 32 5c 20 28 23 23 33 |t ##1\ #|#2\ (##3|
|000017f0| 29 5d 7d 7d 0a 25 20 20 | 20 20 5c 65 6e 64 7b 6d |)]}}.%  |  \end{m|
|00001800| 61 63 72 6f 63 6f 64 65 | 7d 0a 25 20 5c 65 6e 64 |acrocode|}.% \end|
|00001810| 7b 6d 61 63 72 6f 7d 0a | 25 20 5c 65 6e 64 7b 6d |{macro}.|% \end{m|
|00001820| 61 63 72 6f 7d 0a 25 20 | 5c 65 6e 64 7b 6d 61 63 |acro}.% |\end{mac|
|00001830| 72 6f 7d 0a 25 0a 25 20 | 5c 6e 6f 69 6e 64 65 6e |ro}.%.% |\noinden|
|00001840| 74 20 0a 25 20 57 65 20 | 63 6f 6e 63 6c 75 64 65 |t .% We |conclude|
|00001850| 20 77 69 74 68 20 61 6e | 20 5c 76 65 72 62 2b 5c | with an| \verb+\|
|00001860| 65 6e 64 67 72 6f 75 70 | 2b 20 74 6f 20 72 65 73 |endgroup|+ to res|
|00001870| 74 6f 72 65 20 74 68 65 | 0a 25 20 5c 76 65 72 62 |tore the|.% \verb|
|00001880| 2b 5c 63 61 74 63 6f 64 | 65 2b 20 6f 66 20 5c 76 |+\catcod|e+ of \v|
|00001890| 65 72 62 2b 40 2b 2e 0a | 25 20 20 20 20 5c 62 65 |erb+@+..|%    \be|
|000018a0| 67 69 6e 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 5c |gin{macr|ocode}.\|
|000018b0| 65 6e 64 67 72 6f 75 70 | 0a 25 20 20 20 20 5c 65 |endgroup|.%    \e|
|000018c0| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 0a |nd{macro|code}.%.|
|000018d0| 0a 5c 65 6e 64 69 6e 70 | 75 74 0a 0a 0a          |.\endinp|ut...   |
+--------+-------------------------+-------------------------+--------+--------+